jump to main content

1 Hit for Keyword = "formal methods"
Classification
Close
Filters

jump to filter-options

Security Through Safety - An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behavio [...]
Nordhoff, Benedikt ; Nordhoff, Benedikt Heinrich Josef ; Nordhoff, Heinrich Josef ; Nordhoff, Josef
2021